We give a fully fleshed-out solution in the `Task` data type in the code for Chapter 13.